-
1 неразрешимая система
Большой англо-русский и русско-английский словарь > неразрешимая система
-
2 unsolvable system
-
3 undecidable
неразрешимый essentially undecidable system ≈ существенно неразрешимая система essentially undecidable theor ≈ существенно неразрешимая теория hereditarily undecidable theor ≈ наследственно неразрешимая теория nonessentially undecidable theor ≈ несущественно неразрешимая теория recursively undecidable theor ≈ рекурсивно неразрешимая теория strongly undecidable structure ≈ строго неразрешимая структура - effectively undecidable - essentially undecidable - hereditarity undecidable - strongly undecidable - undecidable arithmetic - undecidable formula - undecidable predicate - undecidable problem - undecidable proposition - undecidable relation - undecidable sentence - undecidable structure - undecidable system - undecidable theor НеразрешимоБольшой англо-русский и русско-английский словарь > undecidable
-
4 undecidable system
Большой англо-русский и русско-английский словарь > undecidable system
-
5 unsolvable system
Большой англо-русский и русско-английский словарь > unsolvable system
-
6 essentially undecidable system
Математика: существенно неразрешимая системаУниверсальный англо-русский словарь > essentially undecidable system
-
7 undecidable system
Математика: неразрешимая система -
8 unsolvable system
Математика: неразрешимая система (уравнений) -
9 essentially undecidable system
English-Russian scientific dictionary > essentially undecidable system
-
10 undecidable system
мат. -
11 unsolvable system
-
12 reference
1. ссылка; справка; сноска; делать ссылку, давать ссылку; снабжать ссылками2. указатель; знак сноски; выноски3. эталон, стандартreference gage — образцовое средство измерений; эталон
4. подавать в определённой системе и форме5. перекрёстная ссылка6. ссылка на другое место в той же книге7. указатель страниц8. ссылка на страницуspecific reference — отсылка к определённой книге; ссылка к узкой предметной рубрике
-
13 recursively
1) рекурсно
2) рекурсивно
3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers ≈ общерекурсивно неравные числа general recursively irrational number ≈ общерекурсивно иррациональное число general recursively true ≈ общерекурсивно истинный general recursively true formula ≈ общерекурсивно истинная формула primitive recursively true ≈ примитивно-рекурсивно истинный recursively approximable set ≈ рекурсивно аппроксимируемое множество recursively axiomatizable theor ≈ рекурсивно аксиоматизируемая теория recursively axiomatized theor ≈ рекурсивно аксиоматизированная теория recursively bounded quantifier ≈ рекурсивно ограниченный квантор recursively calculable function ≈ рекурсивно вычислимая функция recursively complex number ≈ рекурсивно комплексное число recursively continuous function ≈ рекурсивно непрерывная функция recursively convergent function ≈ рекурсивно сходящаяся функция recursively convergent sequence ≈ рекурсивно сходящаяся последовательность recursively creative set ≈ рекурсивно креативное множество recursively defined function ≈ рекуррентно определенная функция recursively defined sequence ≈ рекурсивно определенная последовательность recursively differentiable function ≈ рекурсивно дифференцируемая функция recursively divergent function ≈ рекурсивно расходящаяся функция recursively divergent sequence ≈ рекурсивно расходящаяся последовательность recursively enumerable cylinder ≈ рекурсивно перечислимый цилиндр recursively enumerable degree ≈ рекурсивно перечислимая степень recursively enumerable index ≈ рекурсивно перечислимый индекс recursively enumerable ordinal ≈ рекурсивно перечислимое порядковое число recursively enumerable predicate ≈ рекурсивно перечислимый предикат recursively enumerable problem ≈ рекурсивно перечислимая проблема recursively enumerable relation ≈ рекурсивно перечислимое отношение recursively enumerable sequence ≈ рекурсивно перечислимая последовательность recursively enumerable set ≈ рекурсивное перечислимое множество recursively enumerable structure ≈ рекурсивно перечислимая структура recursively enumerable subclass ≈ рекурсивно перечислимый подкласс recursively enumerable subset ≈ рекурсивно перечислимое подмножество recursively enumerable theor ≈ рекурсивно перечислимая теория recursively equivalent sets ≈ рекурсивно эквивалентные множества recursively extensible function ≈ рекурсивно продолжаемая функция recursively incompletable theor ≈ рекурсивно непополнимая теория recursively indecomposable set ≈ рекурсивно неразложимое множество recursively inseparable sets ≈ рекурсивно неотделимые множества recursively invariant concept ≈ рекурсивно инвариантное понятие recursively invariant relation ≈ рекурсивно инвариантное отношение recursively isomorphic set ≈ рекурсивно изоморфное множество recursively presentable structure ≈ рекурсивно представимая структура recursively presented group ≈ рекурсивно определенная группа recursively productive set ≈ рекурсивно продуктивное множество recursively real number ≈ рекурсивно вещественное число recursively related system of notation ≈ рекурсивная по упорядочению система обозначений recursively representable operation ≈ рекурсивно представимая операция recursively representable relation ≈ рекурсивно представимое отношение recursively separable sets ≈ рекурсивно отделимые множества recursively solvable problem ≈ рекурсивно разрешимая проблема recursively undecidable theor ≈ рекурсивно неразрешимая теория recursively unequal numbers ≈ рекурсивно неравные числа - recursively axiomatized - recursively calculable - recursively closed - recursively computable - recursively conditional - recursively continuous - recursively convergent - recursively differentiable - recursively divergent - recursively enumerable - recursively equivalent - recursively expressible - recursively extensible - recursively inseparable - recursively isomorphic - recursively isotonic - recursively presentable - recursively projective - recursively realizable - recursively representable - recursively soluble - recursively true - recursively unsolvable РекурсивноБольшой англо-русский и русско-английский словарь > recursively
См. также в других словарях:
Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1] две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… … Википедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
Университет — (от лат. universitas совокупность). В настоящее время с понятием У. соединяют представление о высшем учебном заведении, которое, имея целью свободное преподавание и развитие всех отраслей науки (universitas litterarum), независимо от их… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ПОЛНОТА ДЕДУКТИВНАЯ — свойство формальной системы (исчисления), характеризующее достаточность его дедуктивных средств с т. зр. нек рых фиксированных критериев (содержательных или формальных). В зависимости от характера выбранного критерия приходят к той или иной… … Философская энциклопедия
Фибоначчи — (Fibonacci) Фибоначчи первый крупный математик средневековой Европы Десятичная система счисления, арабские цифры, числа, последовательность, уровни, ряд, линии и спираль Фибоначчи Содержание >>>>>>>>> … Энциклопедия инвестора
Кнорозов, Юрий Валентинович — Юрий Кнорозов … Википедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Математика — I. Определение предмета математики, связь с другими науками и техникой. Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира. «Чистая … Большая советская энциклопедия
ИДЕАЛЬНОЕ — филос. понятие, характеризующее спе цифич. способ бытия объекта, представленного (отражённого) в психич. мире и жизнедеятельности субъекта. «...Идеальное есть не что иное, как материальное, пересаженное в человеческую голову и… … Философская энциклопедия
ТЕОРИЯ ПОЗНАНИЯ — Гносеология (от греч. gno sis знание, logos слово, понятие), Эпистемолог и я (от греч. episteme знание) раздел философии, исследующий природу человеческого познания, его источники и предпосылки, отношение знания к предмету познания, условия… … Философская энциклопедия
Ольмеки — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. Ольмеки название племени … Википедия
